A Static Analysis for Program Understanding and Debugging
نویسنده
چکیده
This paper presents a static pointer analysis technique for a subset of C. The tool supports user-defined assertions inserted in the body of the program. Assertions are of two kinds: static assertions automatically verified by the analyser, and hypothetical assertions treated as assumptions by the analyser. The technique deals with recursive data structures and it is accurate enough to handle circular structures.
منابع مشابه
A Debugging Scheme for Declarative Equation Based Modeling Languages
This paper concerns the static analysis for debugging purposes of programs written in declarative equation based modeling languages. We first give an introduction to declarative equation based languages and the consequences equation based programming has for debugging. At the same time, we examine the particular debugging problems posed by Modelica, a declarative equation based modeling languag...
متن کاملCLPKIDS: A Program Analysis System for Concurrent Logic Programs
In this paper we describe a program analysis system called CLPKIDS, that is based on program dependence analysis, to support development of software engineering tools for understanding, testing, debugging, maintenance and complexity measurement of concurrent logic programs.
متن کاملEvaluating process clusters to support automatic program understanding
Evaluating the design of a distributed application is di cult but provides useful information for program development and maintenance. In distributed debugging, for example, processes are often grouped together and treated as one entity to reduce the debugging complexity. We previously identi ed multiple approaches to automatic process clustering and prototypical tools implementing these approa...
متن کاملControl and Data Flow Execution of Java Programs
Background and Objective: Since decades understanding of programs has become a compulsory task for the students as well as for others who are involved in the process of developing software and providing solutions to open problems. In that aspect showing the problem in a pictorial presentation in a best manner is a key advantage to better understand it. Materials and Methods: This article provid...
متن کاملApproaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis
Program comprehension and reverse engineering are two large domains of computer science that have one common goal – analysis of existing programs and understanding their behaviour. In present, methods of source-code analysis are well established and used in practice by software engineers. On the other hand, analysis of executable code is a more challenging task that is not fully covered by exis...
متن کامل